COTE : ELN/6021
ISBN : 9782729872298
TITRE : Logique et demonstration automatique : Introduction a la logique propositionnelle et a la logique du premier ordre
AUTEUR : Devismes, Stephane
N° EXEMPLAIRE : 0